Mechanical theorem proving in the local theory of surfaces
نویسندگان
چکیده
منابع مشابه
the analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولTheorem Proving in Type Theory
As one aspect of the endeavor to c r e a te new i n t e l l e c t u a l t o o l s f o r mankind, we w ish to enable computers to p rove , and t o a s s i s t i n the p roo f s o f , theorems o f mathematics and ( e v e n t u a l l y ) o t h e r d i s c i p l i n e s which have ach ieved the r e q u i s i t e l o g i c a l p r e c i s i o n . For t h i s purpose, a p a r t i c u l a r l y s u i ...
متن کاملSymbolic logic and mechanical theorem proving
Description: This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various area...
متن کاملAutomated Theorem Proving in Loop Theory
In this paper we compare the performance of various automated theorem provers on nearly all of the theorems in loop theory known to have been obtained with the assistance of automated theorem provers. Our analysis yields some surprising results, e.g., the theorem prover most often used by loop theorists doesn’t necessarily yield the best performance.
متن کاملProving the low energy theorem of hidden local symmetry.
Based on the Ward-Takahashi identity for the BRS symmetry, we prove to all orders of the loop expansion the low energy theorem of hidden local symmetry for the vector mesons (KSRF (I) relation) in the U(N)L × U(N)R / U(N)V nonlinear chiral Lagrangian. ∗Address after April 1, 1993 : Department of Physics, Kyoto University, Kyoto 606-01, Japan Hidden local symmetry (HLS) is a natural framework fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematics and Artificial Intelligence
سال: 1995
ISSN: 1012-2443,1573-7470
DOI: 10.1007/bf01531322